Model of computation - PDFSEARCH.IO - Document Search Engine

Model of computation
Results: 512

#	Item
341	Hardware Trust Implications of 3-D Integration Ted Huffmire, Timothy Levin, Michael Bilzor, and Cynthia E. Irvine Department of Computer Science Naval Postgraduate School Monterey, CA 93943 Add to Reading List Source URL: www.cisr.us Language: English - Date: 2010-11-15 16:22:59 Microprocessors Integrated circuits Parallel computing Actor model Concurrent computing Secure multi-party computation Hardware Trojan Multi-core processor Three-dimensional integrated circuit Electronic engineering Electronics Computing
342	How Efficient Can We Be?: Bounds on Algorithm Energy Consumption Andrew Gearhart Relation to ASPIRE • ASPIRE (“Algorithms and Specializers for Add to Reading List Source URL: www.eecs.berkeley.edu Language: English - Date: 2013-02-19 14:35:06 Fast Fourier transform Algorithm Model of computation Computer science Mathematics Applied mathematics Digital signal processing
343	Embedded Software: Building the Foundations Edward A. Lee Professor, Chair of EE, and Associate Chair of EECS CHESS: Center for Hybrid and Embedded Software Systems UC Berkeley Add to Reading List Source URL: ptolemy.eecs.berkeley.edu Language: English - Date: 2005-02-14 12:49:18 Computer architecture Thread Actor model Concurrency Dataflow Embedded system Operating system SIGNAL Parallel computing Computing Concurrent computing Models of computation
344	NuSMV 2.3 Tutorial Roberto Cavada, Alessandro Cimatti, Gavin Keighren, Emanuele Olivetti, Marco Pistore and Marco Roveri IRST - Via Sommarive 18, 38055 Povo (Trento) – Italy Add to Reading List Source URL: nusmv.fbk.eu Language: English - Date: 2005-11-21 08:31:30 Electromagnetism Technology Automation Electric motors Models of computation Digital electronics Model checking Semaphore Inverter Electrical engineering Model checkers NuSMV
345	************************************************************************************** 3rd INTERNATIONAL CONFERENCE ON THE THEORY AND PRACTICE OF NATURAL COMPUTING TPNC 2014 Granada, Spain December 9-11, 2014 Add to Reading List Source URL: grammars.grlmc.com Language: English - Date: 2014-09-01 16:03:03** Artificial immune system Natural computing Computing Lecture Notes in Computer Science Rovira i Virgili University Actor model Swarm intelligence Applied mathematics Artificial intelligence Theoretical computer science Evolutionary computation
346	Model Based Design Environment for Data-Driven Embedded Signal Processing Systems DDDAS Workshop 2014 International Conference on Computational Science Kishan Sudusinghe, Inkeun Cho, Mihaela van der Schaar, and Shuvra S. Add to Reading List Source URL: www.dddas.org Language: English - Date: 2014-06-09 20:52:24 Software engineering Computer data Dataflow SIGNAL Electronic engineering Wireless sensor network Dataflow programming Stream processing Computing Computer architecture Models of computation
347	NuSMV 2.2 Tutorial Roberto Cavada, Alessandro Cimatti, Gavin Keighren, Emanuele Olivetti, Marco Pistore and Marco Roveri ITC-irst - Via Sommarive 18, 38055 Povo (Trento) – Italy Add to Reading List Source URL: nusmv.fbk.eu Language: English - Date: 2007-04-06 08:46:53 Electromagnetism Technology Automation Electric motors Models of computation Digital electronics Model checking Semaphore Inverter Model checkers Electrical engineering NuSMV
348	Procedia Computer Science Volume 29, 2014, Pages 1193–1202 ICCS[removed]14th International Conference on Computational Science Model Based Design Environment for Data-Driven Embedded Signal Processing Systems∗ Add to Reading List Source URL: www.dddas.org Language: English - Date: 2014-05-07 11:39:34 Electronic engineering Software engineering Computer data Dataflow SIGNAL Kahn process networks Embedded system Digital signal processing Parallel computing Computing Models of computation Computer architecture
349	Behavioral Types for Actor-Oriented Design Edward A. Lee with special thanks to: Luca de Alfaro, Tom Henzinger, and Yuhong Xiong Add to Reading List Source URL: ptolemy.eecs.berkeley.edu Language: English - Date: 2002-11-11 23:12:13 Computer programming Actor model Concurrent computing Models of computation University of California Berkeley Object Kahn process networks SIGNAL Software engineering Computing Object-oriented programming
350	Hybrid System Modeling: Operational Semantics Issues OMG Technical Meeting Feb. 4, 2004 Anaheim, CA, USA Add to Reading List Source URL: ptolemy.eecs.berkeley.edu Language: English - Date: 2004-02-06 20:38:42 Theoretical computer science Science Differential equations Dynamical systems Diagrams Finite-state machine Actor model Hybrid system SIGNAL Models of computation Computing Automata theory